Book Review: Théorie mathématique des Assurances

From Théorie Des Distributions

II. Differentiation II.2. Examples of differentiation. The case of one variable (n = 1). II.2.3. Pseudofunctions. Hadamard finite part. We calculate the derivative of a function f(x) which is equal to 0 for x < 0 and 1 √ x for x > 0 (not defined for x = 0). This derivative is surely 0 on the interval (−∞, 0) and equal to the function − 1 2 x in the interval (0,∞) because in each of these two op...

Revue Des Livres Book Review

In the preface to his new book Laws, Theories and Patterns in Ecology, Walter Dodds tells us that his own search for general principles in ecology started over “a pitcher or two” with a colleague and that he hoped the book would provide a “fruitful topic for discussion among ecologists”. It was precisely in that spirit that a group of ecologists at the Cary Institute of Ecosystem Studies got to...

Une Théorie des Constructions Inductives

Journal de Théorie des Nombres

On the mean square of the divisor function in short intervals par Aleksandar IVI´C Résumé. On donne des estimations pour la moyenne quadratique de 2X X (∆ k (x + h) − ∆ k (x)) 2 dx, o` u h = h(X) ≫ 1, h = o(x) quand X → ∞ et h se trouve dans un intervalle convenable. Pour k 2 un entier fixé, ∆ k (x) et le terme d'erreur pour la fonction sommatoire de la fonction des diviseurs d k (n), generée p...

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq